Modelo de Integração de Especificações: Transformação de Use Cases em Tipos Abstratos de Dados

Resumo. Durante o processo de desenvolvimento de software, o sistema é especificado em diversos formatos e linguagens. No contexto da engenharia de requisitos, o sistema é especificado através de representações meramente informais ou semi-formais, pois um dos objetivos nesta fase é a comunicação com o cliente da aplicação, por isso a necessidade de formatos de representação intuitivos e não formais. A medida que o processo avança, o ideal seria a transformação das especificação informais e/ou semi-formais em representações formais, baseadas em modelos matemáticos, com sintaxe e semântica bem definidas, o que possibilita a verificação automatizada das especificações e o projeto formal do software. Dessa forma, a tendência seria a redução de erros e inconsistências nas especificações, reduzindo o tempo e os custos do projeto. Para atingir tal meta, é necessário uma metodologia eficiente para garantir a passagem correta entre especificações de requisitos e especificações formais. Este artigo trata exatamente deste problema, propondo um modelo de integração composto por uma metodologia e um conjunto de heurísticas, que combina use cases (modelo de especificação semi-formal orientado ao cliente), com tipos abstratos de dados (modelo de especificação algébrica orientado ao sistema). Para validar a proposta, é apresentado um estudo de caso ao final do artigo.